body {
   background: white;
   font-family: Arial;
   font-size: 11pt;
   }
#menu {
   display: none;
   }
#main {
   width: auto;
   margin: 0;
   padding: 0;
   border: 0;
   float: none !important;
   color: black;
   background: transparent none;
   }
div#top {
   margin: 0;
   padding-top: 1em;
   border-bottom: 1px solid #930;
   }
   
div#commentForm {display:none;}

div#bottom {
   margin: 0;
   padding-top: 1em;
   border-top: 1px solid #930;
   }

a:link, a:visited {
   color: #520;
   background: transparent;
   font-weight: bold;
   text-decoration: underline;
   }
   
#bottom br {padding-bottom:2em;}

DIV.xmlElem {MARGIN-LEFT: 20px; BACKGROUND-COLOR: White; }
.xmlAttrVal {COLOR:Red; }
.xmlAttrTyp {COLOR:Green; }
.xmlElemTag {COLOR:Blue; }
.highlight {BACKGROUND-COLOR:Yellow; }


